Strengthening the Zipper

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Strengthening the Zipper

The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of its potential applications. In this paper we take inspiration from Huet, and describe a library suitable as an underpinning for structured editors. We consider a zipper structure that is suitable for traversing heterogen...

متن کامل

Strengthening the Hospital Complex

بیمارستانها باید در کنار درمان افراد بیمار، در زمین برنامه ریزی، هماهنگی، اجرا، نظارت و کنترل مراقبت های اولیه بهداشتی در مناطق مربوط به خودشان نیز مشارکت داشته باشند. بیمارستانها می توانند مسئولیت تخصیص و کنترل منابع را در سراسر منطقه با توجه به نحوه سازان دهی سرویسهای بهداشتی در کشور به عهده داشته باشند.

متن کامل

Zipper logic

Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article.

متن کامل

Leucine Zipper

The leucine zipper is the dimerization domain of the B-ZIP (basic-region leucine zipper) class of eukaryotic transcription factors (Vinson et al., 1989). The name arose because leucines occur every seven amino acids in this dimerization domain.These leucines are critical for the dimerization and DNA binding of B-ZIP proteins. The leucine zipper is a left-handed parallel dimeric coiled-coil, a s...

متن کامل

Functional Pearl: The Monad Zipper

Limitations of monad stacks get in the way of developing highly modular programs with effects. This pearl demonstrates that Functional Programming’s abstraction tools are up to the challenge. Of course, abstraction must be followed by clever instantiation: Huet’s zipper for the monad stack makes components jump through unanticipated hoops.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Notes in Theoretical Computer Science

سال: 2010

ISSN: 1571-0661

DOI: 10.1016/j.entcs.2010.08.028